Knihy od autora Manfred Kerber

Zobrazeno 1 – 5 z 5 výsledků

1. 

   Symbolic Computation and Automated Reasoning

   Manfred Kerber, Michael Kohlhase | Taylor & Francis Inc, 2001

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Pevná

   3049 Kč

   Koupit
2. 

   Computational Logic - CL 2000

   John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
3. 

   Intelligent Computer Mathematics

   Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge | Springer International Publishing AG, 2015

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Towards Mechanized Mathematical Assistants

   Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger | Springer, Berlin, 2007

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
5. 

   Intelligent Computer Mathematics

   Catherine Dubois, Manfred Kerber | Springer, Berlin, 2023

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1770 Kč

   Koupit

Orientační termín doručení vidíte přímo v detailu knihy. Zjistěte více